-- 1.参数列表
-- 1.1.优惠券 id
local voucherId = ARGV[1]
-- 1.2.用户 id
local userId = ARGV[2]

-- 1.3.订单 id
local orderId = ARGV[3]

-- 2.数据key
-- 2.1.库存key   当前优惠券的剩余库存
local stockKey = 'seckill:stock:' .. voucherId
-- 2.2.订单key  一个优惠券的购买记录,里面存的是谁购买过
local orderKey = 'seckill:order:' .. voucherId

-- 3.脚本业务
-- 3.1.脚本库存是否充足 get Stock
if(tonumber(redis.call('get',stockKey)) <= 0 ) then
    -- 3.2库存不足返回1
	return 1
end

-- 3.3 判断用户是否下单
if(redis.call('sismember',orderKey,userId) == 1) then
	-- 3.4 存在,不允许下单
	return 2
end

-- 3.4 扣减库存
redis.call('incrby',stockKey,-1)
-- 3.5 下单,保存用户到set集合中
redis.call('sadd',orderKey,userId)

-- 3.6 用户有购买资格,保存消息到消息队列中 XADD  Streams.orders * k1 v1 ...
redis.call('XADD','stream.orders','*','userId',userId,'voucherId',voucherId,'id',orderId)
return 0